home *** CD-ROM | disk | FTP | other *** search
- <?xml version="1.0"?>
- <?xml-stylesheet href="chrome://webdeveloper/content/options/dialogs/tool.css" type="text/css"?>
-
- <!DOCTYPE dialog SYSTEM "chrome://webdeveloper/locale/dialogs.dtd">
-
- <dialog buttons="accept, cancel"
- id="webdeveloper-tool-dialog"
- ondialogaccept="return webdeveloper_saveTool()"
- ondialogcancel="webdeveloper_clearTool()"
- onload="webdeveloper_initializeTool()"
- xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
-
- <script type="application/x-javascript" src="chrome://webdeveloper/content/common/platform.js"/>
- <script type="application/x-javascript" src="chrome://webdeveloper/content/common/prompt.js"/>
- <script type="application/x-javascript" src="chrome://webdeveloper/content/common/string.js"/>
- <script type="application/x-javascript" src="chrome://webdeveloper/content/options/dialogs/tool.js"/>
-
- <stringbundleset id="stringbundleset">
- <stringbundle id="webdeveloper-string-bundle" src="chrome://webdeveloper/locale/webdeveloper.properties"/>
- </stringbundleset>
-
- <vbox>
- <grid>
- <columns>
- <column/>
- <column/>
- </columns>
- <rows>
- <row align="center">
- <label control="webdeveloper.tool.description" value="&webdeveloper.description.label;"/>
- <textbox id="webdeveloper.tool.description" size="50"/>
- </row>
- <row align="center">
- <label control="webdeveloper.tool.key" value="&webdeveloper.keyboard.shortcut.label;"/>
- <hbox align="center">
- <description id="webdeveloper-keyboard-shortcut-modifiers"/>
- <textbox id="webdeveloper.tool.key" maxlength="1" size="1"/>
- <spacer flex="1"/>
- </hbox>
- </row>
- <row align="center">
- <description value="&webdeveloper.tool.type.label;"/>
- <radiogroup align="center" orient="horizontal">
- <radio id="webdeveloper-application-radio" selected="true" label="&webdeveloper.tool.application.label;" oncommand="webdeveloper_toggleToolType()"/>
- <!--radio id="webdeveloper-bookmarklet-radio" label="&webdeveloper.tool.bookmarklet.label;" oncommand="webdeveloper_toggleToolType()"/-->
- <radio id="webdeveloper-url-radio" label="&webdeveloper.tool.url.label;" oncommand="webdeveloper_toggleToolType()"/>
- </radiogroup>
- </row>
- </rows>
- </grid>
- <separator class="groove"/>
- <vbox id="webdeveloper-application-options">
- <description value="&webdeveloper.tool.application.description;"/>
- <hbox align="center">
- <textbox flex="1" id="webdeveloper.tool.path"/>
- <button label="&webdeveloper.tool.application.choose.label;" oncommand="webdeveloper_chooseApplication()"/>
- </hbox>
- <separator/>
- </vbox>
- <vbox hidden="true" id="webdeveloper-bookmarklet-options">
- <description value="&webdeveloper.tool.bookmarklet.description;"/>
- <hbox align="center">
- <label control="webdeveloper.tool.bookmarklet" value="&webdeveloper.bookmarklet.label;"/>
- <textbox flex="1" id="webdeveloper.tool.bookmarklet"/>
- </hbox>
- </vbox>
- <vbox hidden="true" id="webdeveloper-url-options">
- <description value="&webdeveloper.tool.url.description;"/>
- <description value="&webdeveloper.tool.url.example;"/>
- <hbox align="center">
- <label control="webdeveloper.tool.url" value="&webdeveloper.url.label;"/>
- <textbox flex="1" id="webdeveloper.tool.url"/>
- </hbox>
- </vbox>
- </vbox>
- </dialog>
-